A Note on the Ambiguity of Finite Automata
نویسندگان
چکیده
We give a new and simple proof of a key lemma on the rank of a matrix in Leung's paper [3], where he showed there exists a family of nondeterministic nite automata fAng, with n states and exponential ambiguity, such that any smallest equivalent polynomially ambiguous nite automaton has 2 1 states. Keyword: nondeterministic automata, ambiguity, automata theory.
منابع مشابه
Reduction of Computational Complexity in Finite State Automata Explosion of Networked System Diagnosis (RESEARCH NOTE)
This research puts forward rough finite state automata which have been represented by two variants of BDD called ROBDD and ZBDD. The proposed structures have been used in networked system diagnosis and can overcome cominatorial explosion. In implementation the CUDD - Colorado University Decision Diagrams package is used. A mathematical proof for claimed complexity are provided which shows ZBDD ...
متن کاملAmbiguity of Unary Symmetric Difference NFAs
Okhotin [9] showed an exponential trade-off in the conversion from nondeterministic unary finite automata to unambiguous nondeterministic unary finite automata. In this paper, we consider the trade-off in the case of unary symmetric difference finite automata to finitely ambiguous unary symmetric difference finite automata. Surprisingly, the trade-off is linear in the number of states of the fi...
متن کاملOn Finite and Polynomial Ambiguity of Weighted Tree Automata
We consider finite and polynomial ambiguity of weighted tree automata. Concerning finite ambiguity, we show that a finitely ambiguous weighted tree automaton can be decomposed into a sum of unambiguous automata. For polynomial ambiguity, we show how to decompose a polynomially ambiguous weighted tree automaton into simpler polynomially ambiguous automata and then analyze the structure of these ...
متن کاملMultidimensional fuzzy finite tree automata
This paper introduces the notion of multidimensional fuzzy finite tree automata (MFFTA) and investigates its closure properties from the area of automata and language theory. MFFTA are a superclass of fuzzy tree automata whose behavior is generalized to adapt to multidimensional fuzzy sets. An MFFTA recognizes a multidimensional fuzzy tree language which is a regular tree language so that for e...
متن کاملOn the Degree of Ambiguity of Finite Automata
We investigate the ambiguity behavior of finite automata in connection with their inner structure. We show that the degree of ambiguity of a finitely ambiguous nondeterministic finite automaton (NFA) with n states is at most 5”“.n”. There is a simple criterion which characterizes the infinite degree of ambiguity of an NFA, and which is decidable in polynomial time. The degree of growth of the a...
متن کامل